Kreisel's Conjecture with minimality principle
نویسنده
چکیده
We prove that Kreisel’s Conjecture is true, if Peano arithmetic is axiomatised using minimality principle and axioms of identity (theory PAM ). The result is independent on the choice of language of PAM . We also show that if infinitely many instances of A(x) are provable in a bounded number of steps in PAM then there exists k ∈ ω s.t. PAM ` ∀x > k A(x). The results imply that PAM does not prove scheme of induction or identity schemes in a bounded number of steps.
منابع مشابه
Theories very close to PA where Kreisel's Conjecture is false
We give four examples of theories in which Kreisel Conjecture is false: 1) the theory PA(−) obtained by adding a function symbol minus, ’−’, to the language of PA, and the axiom ∀x∀y∀z (x − y = z) ≡ (x = y + z ∨ (x < y ∧ z = 0)); 2) the theory Z of integers; 3) the theory PA(q) obtained by adding a function symbol q (of arity ≥ 1) to PA, assuming nothing about q; 4) the theory PA(N) containing ...
متن کاملNote on generalizing theorems in algebraically closed fields
The generalization properties of algebraically closed elds ACF p of characteristic p > 0 and ACF 0 of characteristic 0 are investigated in the sequent calculus with blocks of quantiiers. It is shown that ACF p admits nite term bases, and ACF 0 admits term bases with primality constraints. From these results the analogs of Kreisel's Conjecture for these theories follow: If for some k, A(1 + + 1)...
متن کاملMinimality beyond Lexical Restrictions: Processing and Acquisition of Free Wh-dependencies in European Portuguese
The Generalized Minimality approach to comprehension difficulties with non-local dependencies (Grillo 2005, 2008) predicts that in non-local dependencies (e.g. object relatives) a partial match in internal structure between the moved and the intervening DP can generate a minimality effect and lead to comprehension difficulties in several populations, including children and agrammatic Broca's ap...
متن کاملOn the Closed-Form Solution of a Nonlinear Difference Equation and Another Proof to Sroysang’s Conjecture
The purpose of this paper is twofold. First we derive theoretically, using appropriate transformation on x(n), the closed-form solution of the nonlinear difference equation x(n+1) = 1/(±1 + x(n)), n ∈ N_0. The form of solution of this equation, however, was first obtained in [10] but through induction principle. Then, with the solution of the above equation at hand, we prove a case ...
متن کاملO-minimality and the André-Oort conjecture for Cn
We give an unconditional proof of the André-Oort conjecture for arbitrary products of modular curves. We establish two generalizations. The first includes the Manin-Mumford conjecture for arbitrary products of elliptic curves defined over Q as well as Lang’s conjecture for torsion points in powers of the multiplicative group. The second includes the ManinMumford conjecture for abelian varieties...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Symb. Log.
دوره 74 شماره
صفحات -
تاریخ انتشار 2009